Static VS Dynamic Reversibility in CCS
نویسندگان
چکیده
The notion of reversible computing is attracting interest because of its applications in diverse fields, in particular the study of programming abstractions for fault tolerant systems. Reversible CCS (RCCS), proposed by Danos and Krivine, enacts reversibility by means of memory stacks. Ulidowski and Phillips proposed a general method to reverse a process calculus given in a particular SOS format, by exploiting the idea of making all the operators of a calculus static. CCSK is then derived from CCS with this method. In this paper we show that RCCS is at least as expressive as CCSK.
منابع مشابه
Monologism of Hofstede’s Static Model vs Dialogism of Fang’s Dynamic Model: Contradictory Value Configuration of Cultures through the Case Study of Farsi Proverbs
Among various cultural models, the dichotomy of static versus dynamic models has provided a fertile ground for research. Although a number of static models are suggested, the dominant trend in almost all static models is provided by Hofstede who focuses on cultural differences along four major dimensions (power distance, individualism, uncertainty avoidance, and masculinity) and reduces “the co...
متن کاملAssessment of Diagnostic Value of Single View Dynamic Technique in Diagnosis of Developmental Dysplasia of Hip: A Comparison with Static and Dynamic Ultrasond Techniques
Background: Developmental dysplasia of hip (DDH) is a common childhood disorder, and ultrasonography examination is routinely used for screening purposes. In this study, we aimed to evaluate a modified combined static and dynamic ultrasound technique for the detection of DDH and to compare with the results of static and dynamic ultrasound techniques. Methods:In this cross-sectional study...
متن کاملReversibility in dynamic coordination problems
We study a dynamic coordination process in which agents are uncertain about the actions of their fellow agents, and anticipate strategically relevant information. Because of the uncertainty and learning, (ir)reversibility of actions has important strategic consequences. We find that the reversibility option can either enhance or hamper efficient coordination, and we characterize the direction o...
متن کاملA Modular Formalization of Reversibility for Concurrent Models and Languages
Causal-consistent reversibility is the reference notion of reversibility for concurrency. We introduce a modular framework for defining causal-consistent reversible extensions of concurrent models and languages. We show how our framework can be used to define reversible extensions of formalisms as different as CCS and concurrent X-machines. The generality of the approach allows for the reuse of...
متن کاملRelationship between Static and Dynamic Balance Characteristics with Types of MS in Women
MS is a lifelong disease that could involve the person in different forms. Knowing balance characteristics of different types of this chronic disease helps the specialists for controlling their complications. The purpose of this study was to recognize static and dynamic balance of different type of MS and to compare MS patients with healthy individual. 54 MS women in three groups (27- Relapsing...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2016